// Copyright 2011 Google Inc. All Rights Reserved.

// This file was generated from .js source files by GYP.  If you
// want to make changes to this file you should either change the
// javascript source files or the GYP script.

#include "src/v8.h"
#include "src/snapshot/natives.h"
#include "src/utils.h"

namespace v8 {
namespace internal {

  static const char sources[] = { 10, 118, 97, 114, 32, 36, 112, 114, 111, 120, 121, 68, 101, 114, 105, 118, 101,
100, 71, 101, 116, 84, 114, 97, 112, 59, 10, 118, 97, 114, 32, 36, 112, 114,
111, 120, 121, 68, 101, 114, 105, 118, 101, 100, 72, 97, 115, 84, 114, 97, 112,
59, 10, 118, 97, 114, 32, 36, 112, 114, 111, 120, 121, 68, 101, 114, 105, 118,
101, 100, 83, 101, 116, 84, 114, 97, 112, 59, 10, 118, 97, 114, 32, 36, 112,
114, 111, 120, 121, 69, 110, 117, 109, 101, 114, 97, 116, 101, 59, 10, 40, 102,
117, 110, 99, 116, 105, 111, 110, 40, 97, 44, 98, 41, 123, 10, 34, 117, 115,
101, 32, 115, 116, 114, 105, 99, 116, 34, 59, 10, 37, 67, 104, 101, 99, 107, 73,
115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110, 103, 40, 41, 59,
10, 118, 97, 114, 32, 99, 61, 97, 46, 70, 117, 110, 99, 116, 105, 111, 110, 59,
10, 118, 97, 114, 32, 100, 61, 97, 46, 79, 98, 106, 101, 99, 116, 59, 10, 118,
97, 114, 32, 101, 59, 10, 98, 46, 73, 109, 112, 111, 114, 116, 40, 102, 117,
110, 99, 116, 105, 111, 110, 40, 102, 41, 123, 10, 101, 61, 102, 46, 84, 111,
78, 97, 109, 101, 65, 114, 114, 97, 121, 59, 10, 125, 41, 59, 10, 102, 117, 110,
99, 116, 105, 111, 110, 32, 80, 114, 111, 120, 121, 67, 114, 101, 97, 116, 101,
40, 103, 44, 104, 41, 123, 10, 105, 102, 40, 33, 40, 37, 95, 73, 115, 83, 112,
101, 99, 79, 98, 106, 101, 99, 116, 40, 103, 41, 41, 41, 10, 116, 104, 114, 111,
119, 32, 77, 97, 107, 101, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 56,
49, 44, 34, 99, 114, 101, 97, 116, 101, 34, 41, 10, 105, 102, 40, 40, 104, 61,
61, 61, 40, 118, 111, 105, 100, 32, 48, 41, 41, 41, 10, 104, 61, 110, 117, 108,
108, 10, 101, 108, 115, 101, 32, 105, 102, 40, 33, 40, 40, 37, 95, 73, 115, 83,
112, 101, 99, 79, 98, 106, 101, 99, 116, 40, 104, 41, 41, 124, 124, 40, 104, 61,
61, 61, 110, 117, 108, 108, 41, 41, 41, 10, 116, 104, 114, 111, 119, 32, 77, 97,
107, 101, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 56, 54, 41, 10, 114,
101, 116, 117, 114, 110, 32, 37, 67, 114, 101, 97, 116, 101, 74, 83, 80, 114,
111, 120, 121, 40, 103, 44, 104, 41, 10, 125, 10, 102, 117, 110, 99, 116, 105,
111, 110, 32, 80, 114, 111, 120, 121, 67, 114, 101, 97, 116, 101, 70, 117, 110,
99, 116, 105, 111, 110, 40, 103, 44, 105, 44, 106, 41, 123, 10, 105, 102, 40,
33, 40, 37, 95, 73, 115, 83, 112, 101, 99, 79, 98, 106, 101, 99, 116, 40, 103,
41, 41, 41, 10, 116, 104, 114, 111, 119, 32, 77, 97, 107, 101, 84, 121, 112,
101, 69, 114, 114, 111, 114, 40, 56, 49, 44, 34, 99, 114, 101, 97, 116, 101, 70,
117, 110, 99, 116, 105, 111, 110, 34, 41, 10, 105, 102, 40, 33, 40, 37, 95, 67,
108, 97, 115, 115, 79, 102, 40, 105, 41, 61, 61, 61, 39, 70, 117, 110, 99, 116,
105, 111, 110, 39, 41, 41, 10, 116, 104, 114, 111, 119, 32, 77, 97, 107, 101,
84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 56, 57, 44, 34, 99, 97, 108, 108,
34, 41, 10, 105, 102, 40, 40, 106, 61, 61, 61, 40, 118, 111, 105, 100, 32, 48,
41, 41, 41, 123, 10, 106, 61, 68, 101, 114, 105, 118, 101, 100, 67, 111, 110,
115, 116, 114, 117, 99, 116, 84, 114, 97, 112, 40, 105, 41, 10, 125, 101, 108,
115, 101, 32, 105, 102, 40, 40, 37, 95, 67, 108, 97, 115, 115, 79, 102, 40, 106,
41, 61, 61, 61, 39, 70, 117, 110, 99, 116, 105, 111, 110, 39, 41, 41, 123, 10,
118, 97, 114, 32, 107, 61, 106, 10, 106, 61, 102, 117, 110, 99, 116, 105, 111,
110, 40, 41, 123, 10, 114, 101, 116, 117, 114, 110, 32, 37, 65, 112, 112, 108,
121, 40, 107, 44, 40, 118, 111, 105, 100, 32, 48, 41, 44, 97, 114, 103, 117,
109, 101, 110, 116, 115, 44, 48, 44, 37, 95, 65, 114, 103, 117, 109, 101, 110,
116, 115, 76, 101, 110, 103, 116, 104, 40, 41, 41, 59, 10, 125, 10, 125, 101,
108, 115, 101, 123, 10, 116, 104, 114, 111, 119, 32, 77, 97, 107, 101, 84, 121,
112, 101, 69, 114, 114, 111, 114, 40, 56, 57, 44, 34, 99, 111, 110, 115, 116,
114, 117, 99, 116, 34, 41, 10, 125, 10, 114, 101, 116, 117, 114, 110, 32, 37,
67, 114, 101, 97, 116, 101, 74, 83, 70, 117, 110, 99, 116, 105, 111, 110, 80,
114, 111, 120, 121, 40, 10, 103, 44, 105, 44, 106, 44, 99, 46, 112, 114, 111,
116, 111, 116, 121, 112, 101, 41, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111,
110, 32, 68, 101, 114, 105, 118, 101, 100, 67, 111, 110, 115, 116, 114, 117, 99,
116, 84, 114, 97, 112, 40, 105, 41, 123, 10, 114, 101, 116, 117, 114, 110, 32,
102, 117, 110, 99, 116, 105, 111, 110, 40, 41, 123, 10, 118, 97, 114, 32, 104,
61, 116, 104, 105, 115, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 10,
105, 102, 40, 33, 40, 37, 95, 73, 115, 83, 112, 101, 99, 79, 98, 106, 101, 99,
116, 40, 104, 41, 41, 41, 104, 61, 100, 46, 112, 114, 111, 116, 111, 116, 121,
112, 101, 10, 118, 97, 114, 32, 108, 61, 123, 95, 95, 112, 114, 111, 116, 111,
95, 95, 58, 104, 125, 59, 10, 118, 97, 114, 32, 109, 61, 37, 65, 112, 112, 108,
121, 40, 105, 44, 108, 44, 97, 114, 103, 117, 109, 101, 110, 116, 115, 44, 48,
44, 37, 95, 65, 114, 103, 117, 109, 101, 110, 116, 115, 76, 101, 110, 103, 116,
104, 40, 41, 41, 59, 10, 114, 101, 116, 117, 114, 110, 40, 37, 95, 73, 115, 83,
112, 101, 99, 79, 98, 106, 101, 99, 116, 40, 109, 41, 41, 63, 109, 58, 108, 10,
125, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 68, 101, 108, 101,
103, 97, 116, 101, 67, 97, 108, 108, 65, 110, 100, 67, 111, 110, 115, 116, 114,
117, 99, 116, 40, 105, 44, 106, 41, 123, 10, 114, 101, 116, 117, 114, 110, 32,
102, 117, 110, 99, 116, 105, 111, 110, 40, 41, 123, 10, 114, 101, 116, 117, 114,
110, 32, 37, 65, 112, 112, 108, 121, 40, 37, 95, 73, 115, 67, 111, 110, 115,
116, 114, 117, 99, 116, 67, 97, 108, 108, 40, 41, 63, 106, 58, 105, 44, 10, 116,
104, 105, 115, 44, 97, 114, 103, 117, 109, 101, 110, 116, 115, 44, 48, 44, 37,
95, 65, 114, 103, 117, 109, 101, 110, 116, 115, 76, 101, 110, 103, 116, 104, 40,
41, 41, 10, 125, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 68,
101, 114, 105, 118, 101, 100, 71, 101, 116, 84, 114, 97, 112, 40, 110, 44, 111,
41, 123, 10, 118, 97, 114, 32, 112, 61, 116, 104, 105, 115, 46, 103, 101, 116,
80, 114, 111, 112, 101, 114, 116, 121, 68, 101, 115, 99, 114, 105, 112, 116,
111, 114, 40, 111, 41, 10, 105, 102, 40, 40, 112, 61, 61, 61, 40, 118, 111, 105,
100, 32, 48, 41, 41, 41, 123, 114, 101, 116, 117, 114, 110, 32, 112, 125, 10,
105, 102, 40, 39, 118, 97, 108, 117, 101, 39, 105, 110, 32, 112, 41, 123, 10,
114, 101, 116, 117, 114, 110, 32, 112, 46, 118, 97, 108, 117, 101, 10, 125, 101,
108, 115, 101, 123, 10, 105, 102, 40, 40, 112, 46, 103, 101, 116, 61, 61, 61,
40, 118, 111, 105, 100, 32, 48, 41, 41, 41, 123, 114, 101, 116, 117, 114, 110,
32, 112, 46, 103, 101, 116, 125, 10, 114, 101, 116, 117, 114, 110, 32, 37, 95,
67, 97, 108, 108, 70, 117, 110, 99, 116, 105, 111, 110, 40, 110, 44, 112, 46,
103, 101, 116, 41, 10, 125, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110,
32, 68, 101, 114, 105, 118, 101, 100, 83, 101, 116, 84, 114, 97, 112, 40, 110,
44, 111, 44, 113, 41, 123, 10, 118, 97, 114, 32, 112, 61, 116, 104, 105, 115,
46, 103, 101, 116, 79, 119, 110, 80, 114, 111, 112, 101, 114, 116, 121, 68, 101,
115, 99, 114, 105, 112, 116, 111, 114, 40, 111, 41, 10, 105, 102, 40, 112, 41,
123, 10, 105, 102, 40, 39, 119, 114, 105, 116, 97, 98, 108, 101, 39, 105, 110,
32, 112, 41, 123, 10, 105, 102, 40, 112, 46, 119, 114, 105, 116, 97, 98, 108,
101, 41, 123, 10, 112, 46, 118, 97, 108, 117, 101, 61, 113, 10, 116, 104, 105,
115, 46, 100, 101, 102, 105, 110, 101, 80, 114, 111, 112, 101, 114, 116, 121,
40, 111, 44, 112, 41, 10, 114, 101, 116, 117, 114, 110, 32, 116, 114, 117, 101,
10, 125, 101, 108, 115, 101, 123, 10, 114, 101, 116, 117, 114, 110, 32, 102, 97,
108, 115, 101, 10, 125, 10, 125, 101, 108, 115, 101, 123, 10, 105, 102, 40, 112,
46, 115, 101, 116, 41, 123, 10, 37, 95, 67, 97, 108, 108, 70, 117, 110, 99, 116,
105, 111, 110, 40, 110, 44, 113, 44, 112, 46, 115, 101, 116, 41, 10, 114, 101,
116, 117, 114, 110, 32, 116, 114, 117, 101, 10, 125, 101, 108, 115, 101, 123,
10, 114, 101, 116, 117, 114, 110, 32, 102, 97, 108, 115, 101, 10, 125, 10, 125,
10, 125, 10, 112, 61, 116, 104, 105, 115, 46, 103, 101, 116, 80, 114, 111, 112,
101, 114, 116, 121, 68, 101, 115, 99, 114, 105, 112, 116, 111, 114, 40, 111, 41,
10, 105, 102, 40, 112, 41, 123, 10, 105, 102, 40, 39, 119, 114, 105, 116, 97,
98, 108, 101, 39, 105, 110, 32, 112, 41, 123, 10, 105, 102, 40, 112, 46, 119,
114, 105, 116, 97, 98, 108, 101, 41, 123, 10, 125, 101, 108, 115, 101, 123, 10,
114, 101, 116, 117, 114, 110, 32, 102, 97, 108, 115, 101, 10, 125, 10, 125, 101,
108, 115, 101, 123, 10, 105, 102, 40, 112, 46, 115, 101, 116, 41, 123, 10, 37,
95, 67, 97, 108, 108, 70, 117, 110, 99, 116, 105, 111, 110, 40, 110, 44, 113,
44, 112, 46, 115, 101, 116, 41, 10, 114, 101, 116, 117, 114, 110, 32, 116, 114,
117, 101, 10, 125, 101, 108, 115, 101, 123, 10, 114, 101, 116, 117, 114, 110,
32, 102, 97, 108, 115, 101, 10, 125, 10, 125, 10, 125, 10, 116, 104, 105, 115,
46, 100, 101, 102, 105, 110, 101, 80, 114, 111, 112, 101, 114, 116, 121, 40,
111, 44, 123, 10, 118, 97, 108, 117, 101, 58, 113, 44, 10, 119, 114, 105, 116,
97, 98, 108, 101, 58, 116, 114, 117, 101, 44, 10, 101, 110, 117, 109, 101, 114,
97, 98, 108, 101, 58, 116, 114, 117, 101, 44, 10, 99, 111, 110, 102, 105, 103,
117, 114, 97, 98, 108, 101, 58, 116, 114, 117, 101, 125, 41, 59, 10, 114, 101,
116, 117, 114, 110, 32, 116, 114, 117, 101, 59, 10, 125, 10, 102, 117, 110, 99,
116, 105, 111, 110, 32, 68, 101, 114, 105, 118, 101, 100, 72, 97, 115, 84, 114,
97, 112, 40, 111, 41, 123, 10, 114, 101, 116, 117, 114, 110, 33, 33, 116, 104,
105, 115, 46, 103, 101, 116, 80, 114, 111, 112, 101, 114, 116, 121, 68, 101,
115, 99, 114, 105, 112, 116, 111, 114, 40, 111, 41, 10, 125, 10, 102, 117, 110,
99, 116, 105, 111, 110, 32, 68, 101, 114, 105, 118, 101, 100, 72, 97, 115, 79,
119, 110, 84, 114, 97, 112, 40, 111, 41, 123, 10, 114, 101, 116, 117, 114, 110,
33, 33, 116, 104, 105, 115, 46, 103, 101, 116, 79, 119, 110, 80, 114, 111, 112,
101, 114, 116, 121, 68, 101, 115, 99, 114, 105, 112, 116, 111, 114, 40, 111, 41,
10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 68, 101, 114, 105, 118,
101, 100, 75, 101, 121, 115, 84, 114, 97, 112, 40, 41, 123, 10, 118, 97, 114,
32, 114, 61, 116, 104, 105, 115, 46, 103, 101, 116, 79, 119, 110, 80, 114, 111,
112, 101, 114, 116, 121, 78, 97, 109, 101, 115, 40, 41, 10, 118, 97, 114, 32,
115, 61, 91, 93, 10, 102, 111, 114, 40, 118, 97, 114, 32, 116, 61, 48, 44, 99,
111, 117, 110, 116, 61, 48, 59, 116, 60, 114, 46, 108, 101, 110, 103, 116, 104,
59, 43, 43, 116, 41, 123, 10, 118, 97, 114, 32, 111, 61, 114, 91, 116, 93, 10,
105, 102, 40, 40, 116, 121, 112, 101, 111, 102, 40, 111, 41, 61, 61, 61, 39,
115, 121, 109, 98, 111, 108, 39, 41, 41, 99, 111, 110, 116, 105, 110, 117, 101,
10, 118, 97, 114, 32, 112, 61, 116, 104, 105, 115, 46, 103, 101, 116, 79, 119,
110, 80, 114, 111, 112, 101, 114, 116, 121, 68, 101, 115, 99, 114, 105, 112,
116, 111, 114, 40, 40, 40, 116, 121, 112, 101, 111, 102, 40, 37, 73, 83, 95, 86,
65, 82, 40, 111, 41, 41, 61, 61, 61, 39, 115, 116, 114, 105, 110, 103, 39, 41,
63, 111, 58, 36, 110, 111, 110, 83, 116, 114, 105, 110, 103, 84, 111, 83, 116,
114, 105, 110, 103, 40, 111, 41, 41, 41, 10, 105, 102, 40, 33, 40, 112, 61, 61,
61, 40, 118, 111, 105, 100, 32, 48, 41, 41, 38, 38, 112, 46, 101, 110, 117, 109,
101, 114, 97, 98, 108, 101, 41, 123, 10, 115, 91, 99, 111, 117, 110, 116, 43,
43, 93, 61, 114, 91, 116, 93, 10, 125, 10, 125, 10, 114, 101, 116, 117, 114,
110, 32, 115, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 68, 101,
114, 105, 118, 101, 100, 69, 110, 117, 109, 101, 114, 97, 116, 101, 84, 114, 97,
112, 40, 41, 123, 10, 118, 97, 114, 32, 114, 61, 116, 104, 105, 115, 46, 103,
101, 116, 80, 114, 111, 112, 101, 114, 116, 121, 78, 97, 109, 101, 115, 40, 41,
10, 118, 97, 114, 32, 115, 61, 91, 93, 10, 102, 111, 114, 40, 118, 97, 114, 32,
116, 61, 48, 44, 99, 111, 117, 110, 116, 61, 48, 59, 116, 60, 114, 46, 108, 101,
110, 103, 116, 104, 59, 43, 43, 116, 41, 123, 10, 118, 97, 114, 32, 111, 61,
114, 91, 116, 93, 10, 105, 102, 40, 40, 116, 121, 112, 101, 111, 102, 40, 111,
41, 61, 61, 61, 39, 115, 121, 109, 98, 111, 108, 39, 41, 41, 99, 111, 110, 116,
105, 110, 117, 101, 10, 118, 97, 114, 32, 112, 61, 116, 104, 105, 115, 46, 103,
101, 116, 80, 114, 111, 112, 101, 114, 116, 121, 68, 101, 115, 99, 114, 105,
112, 116, 111, 114, 40, 40, 40, 116, 121, 112, 101, 111, 102, 40, 37, 73, 83,
95, 86, 65, 82, 40, 111, 41, 41, 61, 61, 61, 39, 115, 116, 114, 105, 110, 103,
39, 41, 63, 111, 58, 36, 110, 111, 110, 83, 116, 114, 105, 110, 103, 84, 111,
83, 116, 114, 105, 110, 103, 40, 111, 41, 41, 41, 10, 105, 102, 40, 33, 40, 112,
61, 61, 61, 40, 118, 111, 105, 100, 32, 48, 41, 41, 41, 123, 10, 105, 102, 40,
33, 112, 46, 99, 111, 110, 102, 105, 103, 117, 114, 97, 98, 108, 101, 41, 123,
10, 116, 104, 114, 111, 119, 32, 77, 97, 107, 101, 84, 121, 112, 101, 69, 114,
114, 111, 114, 40, 56, 55, 44, 10, 116, 104, 105, 115, 44, 111, 44, 34, 103,
101, 116, 80, 114, 111, 112, 101, 114, 116, 121, 68, 101, 115, 99, 114, 105,
112, 116, 111, 114, 34, 41, 10, 125, 10, 105, 102, 40, 112, 46, 101, 110, 117,
109, 101, 114, 97, 98, 108, 101, 41, 115, 91, 99, 111, 117, 110, 116, 43, 43,
93, 61, 114, 91, 116, 93, 10, 125, 10, 125, 10, 114, 101, 116, 117, 114, 110,
32, 115, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 80, 114, 111,
120, 121, 69, 110, 117, 109, 101, 114, 97, 116, 101, 40, 117, 41, 123, 10, 118,
97, 114, 32, 103, 61, 37, 71, 101, 116, 72, 97, 110, 100, 108, 101, 114, 40,
117, 41, 10, 105, 102, 40, 40, 103, 46, 101, 110, 117, 109, 101, 114, 97, 116,
101, 61, 61, 61, 40, 118, 111, 105, 100, 32, 48, 41, 41, 41, 123, 10, 114, 101,
116, 117, 114, 110, 32, 37, 65, 112, 112, 108, 121, 40, 68, 101, 114, 105, 118,
101, 100, 69, 110, 117, 109, 101, 114, 97, 116, 101, 84, 114, 97, 112, 44, 103,
44, 91, 93, 44, 48, 44, 48, 41, 10, 125, 101, 108, 115, 101, 123, 10, 114, 101,
116, 117, 114, 110, 32, 101, 40, 103, 46, 101, 110, 117, 109, 101, 114, 97, 116,
101, 40, 41, 44, 34, 101, 110, 117, 109, 101, 114, 97, 116, 101, 34, 44, 102,
97, 108, 115, 101, 41, 10, 125, 10, 125, 10, 118, 97, 114, 32, 118, 61, 110,
101, 119, 32, 100, 40, 41, 59, 10, 37, 65, 100, 100, 78, 97, 109, 101, 100, 80,
114, 111, 112, 101, 114, 116, 121, 40, 97, 44, 34, 80, 114, 111, 120, 121, 34,
44, 118, 44, 50, 41, 59, 10, 98, 46, 73, 110, 115, 116, 97, 108, 108, 70, 117,
110, 99, 116, 105, 111, 110, 115, 40, 118, 44, 50, 44, 91, 10, 34, 99, 114, 101,
97, 116, 101, 34, 44, 80, 114, 111, 120, 121, 67, 114, 101, 97, 116, 101, 44,
10, 34, 99, 114, 101, 97, 116, 101, 70, 117, 110, 99, 116, 105, 111, 110, 34,
44, 80, 114, 111, 120, 121, 67, 114, 101, 97, 116, 101, 70, 117, 110, 99, 116,
105, 111, 110, 10, 93, 41, 10, 36, 112, 114, 111, 120, 121, 68, 101, 114, 105,
118, 101, 100, 71, 101, 116, 84, 114, 97, 112, 61, 68, 101, 114, 105, 118, 101,
100, 71, 101, 116, 84, 114, 97, 112, 59, 10, 36, 112, 114, 111, 120, 121, 68,
101, 114, 105, 118, 101, 100, 72, 97, 115, 84, 114, 97, 112, 61, 68, 101, 114,
105, 118, 101, 100, 72, 97, 115, 84, 114, 97, 112, 59, 10, 36, 112, 114, 111,
120, 121, 68, 101, 114, 105, 118, 101, 100, 83, 101, 116, 84, 114, 97, 112, 61,
68, 101, 114, 105, 118, 101, 100, 83, 101, 116, 84, 114, 97, 112, 59, 10, 36,
112, 114, 111, 120, 121, 69, 110, 117, 109, 101, 114, 97, 116, 101, 61, 80, 114,
111, 120, 121, 69, 110, 117, 109, 101, 114, 97, 116, 101, 59, 10, 98, 46, 69,
120, 112, 111, 114, 116, 40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 119, 41,
123, 10, 119, 46, 80, 114, 111, 120, 121, 68, 101, 108, 101, 103, 97, 116, 101,
67, 97, 108, 108, 65, 110, 100, 67, 111, 110, 115, 116, 114, 117, 99, 116, 61,
68, 101, 108, 101, 103, 97, 116, 101, 67, 97, 108, 108, 65, 110, 100, 67, 111,
110, 115, 116, 114, 117, 99, 116, 59, 10, 119, 46, 80, 114, 111, 120, 121, 68,
101, 114, 105, 118, 101, 100, 72, 97, 115, 79, 119, 110, 84, 114, 97, 112, 61,
68, 101, 114, 105, 118, 101, 100, 72, 97, 115, 79, 119, 110, 84, 114, 97, 112,
59, 10, 119, 46, 80, 114, 111, 120, 121, 68, 101, 114, 105, 118, 101, 100, 75,
101, 121, 115, 84, 114, 97, 112, 61, 68, 101, 114, 105, 118, 101, 100, 75, 101,
121, 115, 84, 114, 97, 112, 59, 10, 125, 41, 59, 10, 125, 41, 10, 10, 10, 40,
102, 117, 110, 99, 116, 105, 111, 110, 40, 97, 44, 98, 41, 123, 10, 34, 117,
115, 101, 32, 115, 116, 114, 105, 99, 116, 34, 59, 10, 37, 67, 104, 101, 99,
107, 73, 115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110, 103, 40,
41, 59, 10, 118, 97, 114, 32, 99, 61, 97, 46, 70, 117, 110, 99, 116, 105, 111,
110, 59, 10, 118, 97, 114, 32, 100, 59, 10, 98, 46, 73, 109, 112, 111, 114, 116,
40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 101, 41, 123, 10, 100, 61, 101,
46, 78, 101, 119, 70, 117, 110, 99, 116, 105, 111, 110, 83, 116, 114, 105, 110,
103, 59, 10, 125, 41, 59, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 71,
101, 110, 101, 114, 97, 116, 111, 114, 79, 98, 106, 101, 99, 116, 78, 101, 120,
116, 40, 102, 41, 123, 10, 105, 102, 40, 33, 40, 37, 95, 67, 108, 97, 115, 115,
79, 102, 40, 116, 104, 105, 115, 41, 61, 61, 61, 39, 71, 101, 110, 101, 114, 97,
116, 111, 114, 39, 41, 41, 123, 10, 116, 104, 114, 111, 119, 32, 77, 97, 107,
101, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 51, 51, 44, 10, 39, 91, 71,
101, 110, 101, 114, 97, 116, 111, 114, 93, 46, 112, 114, 111, 116, 111, 116,
121, 112, 101, 46, 110, 101, 120, 116, 39, 44, 116, 104, 105, 115, 41, 59, 10,
125, 10, 118, 97, 114, 32, 103, 61, 37, 71, 101, 110, 101, 114, 97, 116, 111,
114, 71, 101, 116, 67, 111, 110, 116, 105, 110, 117, 97, 116, 105, 111, 110, 40,
116, 104, 105, 115, 41, 59, 10, 105, 102, 40, 103, 62, 48, 41, 123, 10, 105,
102, 40, 40, 37, 95, 68, 101, 98, 117, 103, 73, 115, 65, 99, 116, 105, 118, 101,
40, 41, 33, 61, 48, 41, 41, 37, 68, 101, 98, 117, 103, 80, 114, 101, 112, 97,
114, 101, 83, 116, 101, 112, 73, 110, 73, 102, 83, 116, 101, 112, 112, 105, 110,
103, 40, 116, 104, 105, 115, 41, 59, 10, 116, 114, 121, 123, 10, 114, 101, 116,
117, 114, 110, 32, 37, 95, 71, 101, 110, 101, 114, 97, 116, 111, 114, 78, 101,
120, 116, 40, 116, 104, 105, 115, 44, 102, 41, 59, 10, 125, 99, 97, 116, 99,
104, 40, 101, 41, 123, 10, 37, 71, 101, 110, 101, 114, 97, 116, 111, 114, 67,
108, 111, 115, 101, 40, 116, 104, 105, 115, 41, 59, 10, 116, 104, 114, 111, 119,
32, 101, 59, 10, 125, 10, 125, 101, 108, 115, 101, 32, 105, 102, 40, 103, 61,
61, 48, 41, 123, 10, 114, 101, 116, 117, 114, 110, 123, 118, 97, 108, 117, 101,
58, 118, 111, 105, 100, 32, 48, 44, 100, 111, 110, 101, 58, 116, 114, 117, 101,
125, 59, 10, 125, 101, 108, 115, 101, 123, 10, 116, 104, 114, 111, 119, 32, 77,
97, 107, 101, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 51, 49, 41, 59, 10,
125, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 71, 101, 110, 101,
114, 97, 116, 111, 114, 79, 98, 106, 101, 99, 116, 84, 104, 114, 111, 119, 40,
104, 41, 123, 10, 105, 102, 40, 33, 40, 37, 95, 67, 108, 97, 115, 115, 79, 102,
40, 116, 104, 105, 115, 41, 61, 61, 61, 39, 71, 101, 110, 101, 114, 97, 116,
111, 114, 39, 41, 41, 123, 10, 116, 104, 114, 111, 119, 32, 77, 97, 107, 101,
84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 51, 51, 44, 10, 39, 91, 71, 101,
110, 101, 114, 97, 116, 111, 114, 93, 46, 112, 114, 111, 116, 111, 116, 121,
112, 101, 46, 116, 104, 114, 111, 119, 39, 44, 116, 104, 105, 115, 41, 59, 10,
125, 10, 118, 97, 114, 32, 103, 61, 37, 71, 101, 110, 101, 114, 97, 116, 111,
114, 71, 101, 116, 67, 111, 110, 116, 105, 110, 117, 97, 116, 105, 111, 110, 40,
116, 104, 105, 115, 41, 59, 10, 105, 102, 40, 103, 62, 48, 41, 123, 10, 116,
114, 121, 123, 10, 114, 101, 116, 117, 114, 110, 32, 37, 95, 71, 101, 110, 101,
114, 97, 116, 111, 114, 84, 104, 114, 111, 119, 40, 116, 104, 105, 115, 44, 104,
41, 59, 10, 125, 99, 97, 116, 99, 104, 40, 101, 41, 123, 10, 37, 71, 101, 110,
101, 114, 97, 116, 111, 114, 67, 108, 111, 115, 101, 40, 116, 104, 105, 115, 41,
59, 10, 116, 104, 114, 111, 119, 32, 101, 59, 10, 125, 10, 125, 101, 108, 115,
101, 32, 105, 102, 40, 103, 61, 61, 48, 41, 123, 10, 116, 104, 114, 111, 119,
32, 104, 59, 10, 125, 101, 108, 115, 101, 123, 10, 116, 104, 114, 111, 119, 32,
77, 97, 107, 101, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 51, 49, 41, 59,
10, 125, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 71, 101, 110,
101, 114, 97, 116, 111, 114, 70, 117, 110, 99, 116, 105, 111, 110, 67, 111, 110,
115, 116, 114, 117, 99, 116, 111, 114, 40, 105, 41, 123, 10, 118, 97, 114, 32,
106, 61, 100, 40, 97, 114, 103, 117, 109, 101, 110, 116, 115, 44, 39, 102, 117,
110, 99, 116, 105, 111, 110, 42, 39, 41, 59, 10, 118, 97, 114, 32, 107, 61, 37,
71, 108, 111, 98, 97, 108, 80, 114, 111, 120, 121, 40, 71, 101, 110, 101, 114,
97, 116, 111, 114, 70, 117, 110, 99, 116, 105, 111, 110, 67, 111, 110, 115, 116,
114, 117, 99, 116, 111, 114, 41, 59, 10, 118, 97, 114, 32, 108, 61, 37, 95, 67,
97, 108, 108, 70, 117, 110, 99, 116, 105, 111, 110, 40, 107, 44, 37, 67, 111,
109, 112, 105, 108, 101, 83, 116, 114, 105, 110, 103, 40, 106, 44, 116, 114,
117, 101, 41, 41, 59, 10, 37, 70, 117, 110, 99, 116, 105, 111, 110, 77, 97, 114,
107, 78, 97, 109, 101, 83, 104, 111, 117, 108, 100, 80, 114, 105, 110, 116, 65,
115, 65, 110, 111, 110, 121, 109, 111, 117, 115, 40, 108, 41, 59, 10, 114, 101,
116, 117, 114, 110, 32, 108, 59, 10, 125, 10, 37, 78, 101, 118, 101, 114, 79,
112, 116, 105, 109, 105, 122, 101, 70, 117, 110, 99, 116, 105, 111, 110, 40, 71,
101, 110, 101, 114, 97, 116, 111, 114, 79, 98, 106, 101, 99, 116, 78, 101, 120,
116, 41, 59, 10, 37, 78, 101, 118, 101, 114, 79, 112, 116, 105, 109, 105, 122,
101, 70, 117, 110, 99, 116, 105, 111, 110, 40, 71, 101, 110, 101, 114, 97, 116,
111, 114, 79, 98, 106, 101, 99, 116, 84, 104, 114, 111, 119, 41, 59, 10, 118,
97, 114, 32, 109, 61, 71, 101, 110, 101, 114, 97, 116, 111, 114, 70, 117, 110,
99, 116, 105, 111, 110, 80, 114, 111, 116, 111, 116, 121, 112, 101, 46, 112,
114, 111, 116, 111, 116, 121, 112, 101, 59, 10, 98, 46, 73, 110, 115, 116, 97,
108, 108, 70, 117, 110, 99, 116, 105, 111, 110, 115, 40, 109, 44, 10, 50, 44,
10, 91, 34, 110, 101, 120, 116, 34, 44, 71, 101, 110, 101, 114, 97, 116, 111,
114, 79, 98, 106, 101, 99, 116, 78, 101, 120, 116, 44, 10, 34, 116, 104, 114,
111, 119, 34, 44, 71, 101, 110, 101, 114, 97, 116, 111, 114, 79, 98, 106, 101,
99, 116, 84, 104, 114, 111, 119, 93, 41, 59, 10, 37, 65, 100, 100, 78, 97, 109,
101, 100, 80, 114, 111, 112, 101, 114, 116, 121, 40, 109, 44, 34, 99, 111, 110,
115, 116, 114, 117, 99, 116, 111, 114, 34, 44, 10, 71, 101, 110, 101, 114, 97,
116, 111, 114, 70, 117, 110, 99, 116, 105, 111, 110, 80, 114, 111, 116, 111,
116, 121, 112, 101, 44, 50, 124, 49, 41, 59, 10, 37, 65, 100, 100, 78, 97, 109,
101, 100, 80, 114, 111, 112, 101, 114, 116, 121, 40, 109, 44, 10, 115, 121, 109,
98, 111, 108, 84, 111, 83, 116, 114, 105, 110, 103, 84, 97, 103, 44, 34, 71,
101, 110, 101, 114, 97, 116, 111, 114, 34, 44, 50, 124, 49, 41, 59, 10, 37, 73,
110, 116, 101, 114, 110, 97, 108, 83, 101, 116, 80, 114, 111, 116, 111, 116,
121, 112, 101, 40, 71, 101, 110, 101, 114, 97, 116, 111, 114, 70, 117, 110, 99,
116, 105, 111, 110, 80, 114, 111, 116, 111, 116, 121, 112, 101, 44, 99, 46, 112,
114, 111, 116, 111, 116, 121, 112, 101, 41, 59, 10, 37, 65, 100, 100, 78, 97,
109, 101, 100, 80, 114, 111, 112, 101, 114, 116, 121, 40, 71, 101, 110, 101,
114, 97, 116, 111, 114, 70, 117, 110, 99, 116, 105, 111, 110, 80, 114, 111, 116,
111, 116, 121, 112, 101, 44, 10, 115, 121, 109, 98, 111, 108, 84, 111, 83, 116,
114, 105, 110, 103, 84, 97, 103, 44, 34, 71, 101, 110, 101, 114, 97, 116, 111,
114, 70, 117, 110, 99, 116, 105, 111, 110, 34, 44, 50, 124, 49, 41, 59, 10, 37,
65, 100, 100, 78, 97, 109, 101, 100, 80, 114, 111, 112, 101, 114, 116, 121, 40,
71, 101, 110, 101, 114, 97, 116, 111, 114, 70, 117, 110, 99, 116, 105, 111, 110,
80, 114, 111, 116, 111, 116, 121, 112, 101, 44, 34, 99, 111, 110, 115, 116, 114,
117, 99, 116, 111, 114, 34, 44, 10, 71, 101, 110, 101, 114, 97, 116, 111, 114,
70, 117, 110, 99, 116, 105, 111, 110, 44, 50, 124, 49, 41, 59, 10, 37, 73, 110,
116, 101, 114, 110, 97, 108, 83, 101, 116, 80, 114, 111, 116, 111, 116, 121,
112, 101, 40, 71, 101, 110, 101, 114, 97, 116, 111, 114, 70, 117, 110, 99, 116,
105, 111, 110, 44, 99, 41, 59, 10, 37, 83, 101, 116, 67, 111, 100, 101, 40, 71,
101, 110, 101, 114, 97, 116, 111, 114, 70, 117, 110, 99, 116, 105, 111, 110, 44,
71, 101, 110, 101, 114, 97, 116, 111, 114, 70, 117, 110, 99, 116, 105, 111, 110,
67, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 41, 59, 10, 125, 41, 10,
10, 10, 40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 97, 44, 98, 41, 123, 10,
34, 117, 115, 101, 32, 115, 116, 114, 105, 99, 116, 34, 59, 10, 37, 67, 104,
101, 99, 107, 73, 115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110,
103, 40, 41, 59, 10, 118, 97, 114, 32, 99, 61, 97, 46, 79, 98, 106, 101, 99,
116, 59, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 67, 104, 101, 99, 107,
83, 104, 97, 114, 101, 100, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 40,
100, 41, 123, 10, 105, 102, 40, 33, 37, 95, 73, 115, 83, 104, 97, 114, 101, 100,
84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 40, 100, 41, 41, 123, 10, 116,
104, 114, 111, 119, 32, 77, 97, 107, 101, 84, 121, 112, 101, 69, 114, 114, 111,
114, 40, 53, 56, 44, 100, 41, 59, 10, 125, 10, 125, 10, 102, 117, 110, 99, 116,
105, 111, 110, 32, 67, 104, 101, 99, 107, 83, 104, 97, 114, 101, 100, 73, 110,
116, 101, 103, 101, 114, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 40, 101,
41, 123, 10, 105, 102, 40, 33, 37, 95, 73, 115, 83, 104, 97, 114, 101, 100, 73,
110, 116, 101, 103, 101, 114, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 40,
101, 41, 41, 123, 10, 116, 104, 114, 111, 119, 32, 77, 97, 107, 101, 84, 121,
112, 101, 69, 114, 114, 111, 114, 40, 53, 57, 44, 101, 41, 59, 10, 125, 10, 125,
10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 65, 116, 111, 109, 105, 99, 115,
67, 111, 109, 112, 97, 114, 101, 69, 120, 99, 104, 97, 110, 103, 101, 74, 83,
40, 100, 44, 102, 44, 103, 44, 104, 41, 123, 10, 67, 104, 101, 99, 107, 83, 104,
97, 114, 101, 100, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 40, 100, 41,
59, 10, 102, 61, 36, 116, 111, 73, 110, 116, 101, 103, 101, 114, 40, 102, 41,
59, 10, 105, 102, 40, 102, 60, 48, 124, 124, 102, 62, 61, 100, 46, 108, 101,
110, 103, 116, 104, 41, 123, 10, 114, 101, 116, 117, 114, 110, 40, 118, 111,
105, 100, 32, 48, 41, 59, 10, 125, 10, 114, 101, 116, 117, 114, 110, 32, 37, 95,
65, 116, 111, 109, 105, 99, 115, 67, 111, 109, 112, 97, 114, 101, 69, 120, 99,
104, 97, 110, 103, 101, 40, 100, 44, 102, 44, 103, 44, 104, 41, 59, 10, 125, 10,
102, 117, 110, 99, 116, 105, 111, 110, 32, 65, 116, 111, 109, 105, 99, 115, 76,
111, 97, 100, 74, 83, 40, 100, 44, 102, 41, 123, 10, 67, 104, 101, 99, 107, 83,
104, 97, 114, 101, 100, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 40, 100,
41, 59, 10, 102, 61, 36, 116, 111, 73, 110, 116, 101, 103, 101, 114, 40, 102,
41, 59, 10, 105, 102, 40, 102, 60, 48, 124, 124, 102, 62, 61, 100, 46, 108, 101,
110, 103, 116, 104, 41, 123, 10, 114, 101, 116, 117, 114, 110, 40, 118, 111,
105, 100, 32, 48, 41, 59, 10, 125, 10, 114, 101, 116, 117, 114, 110, 32, 37, 95,
65, 116, 111, 109, 105, 99, 115, 76, 111, 97, 100, 40, 100, 44, 102, 41, 59, 10,
125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 65, 116, 111, 109, 105, 99,
115, 83, 116, 111, 114, 101, 74, 83, 40, 100, 44, 102, 44, 105, 41, 123, 10, 67,
104, 101, 99, 107, 83, 104, 97, 114, 101, 100, 84, 121, 112, 101, 100, 65, 114,
114, 97, 121, 40, 100, 41, 59, 10, 102, 61, 36, 116, 111, 73, 110, 116, 101,
103, 101, 114, 40, 102, 41, 59, 10, 105, 102, 40, 102, 60, 48, 124, 124, 102,
62, 61, 100, 46, 108, 101, 110, 103, 116, 104, 41, 123, 10, 114, 101, 116, 117,
114, 110, 40, 118, 111, 105, 100, 32, 48, 41, 59, 10, 125, 10, 114, 101, 116,
117, 114, 110, 32, 37, 95, 65, 116, 111, 109, 105, 99, 115, 83, 116, 111, 114,
101, 40, 100, 44, 102, 44, 105, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116,
105, 111, 110, 32, 65, 116, 111, 109, 105, 99, 115, 65, 100, 100, 74, 83, 40,
101, 44, 102, 44, 105, 41, 123, 10, 67, 104, 101, 99, 107, 83, 104, 97, 114,
101, 100, 73, 110, 116, 101, 103, 101, 114, 84, 121, 112, 101, 100, 65, 114,
114, 97, 121, 40, 101, 41, 59, 10, 102, 61, 36, 116, 111, 73, 110, 116, 101,
103, 101, 114, 40, 102, 41, 59, 10, 105, 102, 40, 102, 60, 48, 124, 124, 102,
62, 61, 101, 46, 108, 101, 110, 103, 116, 104, 41, 123, 10, 114, 101, 116, 117,
114, 110, 40, 118, 111, 105, 100, 32, 48, 41, 59, 10, 125, 10, 114, 101, 116,
117, 114, 110, 32, 37, 95, 65, 116, 111, 109, 105, 99, 115, 65, 100, 100, 40,
101, 44, 102, 44, 105, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111,
110, 32, 65, 116, 111, 109, 105, 99, 115, 83, 117, 98, 74, 83, 40, 101, 44, 102,
44, 105, 41, 123, 10, 67, 104, 101, 99, 107, 83, 104, 97, 114, 101, 100, 73,
110, 116, 101, 103, 101, 114, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 40,
101, 41, 59, 10, 102, 61, 36, 116, 111, 73, 110, 116, 101, 103, 101, 114, 40,
102, 41, 59, 10, 105, 102, 40, 102, 60, 48, 124, 124, 102, 62, 61, 101, 46, 108,
101, 110, 103, 116, 104, 41, 123, 10, 114, 101, 116, 117, 114, 110, 40, 118,
111, 105, 100, 32, 48, 41, 59, 10, 125, 10, 114, 101, 116, 117, 114, 110, 32,
37, 95, 65, 116, 111, 109, 105, 99, 115, 83, 117, 98, 40, 101, 44, 102, 44, 105,
41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 65, 116, 111,
109, 105, 99, 115, 65, 110, 100, 74, 83, 40, 101, 44, 102, 44, 105, 41, 123, 10,
67, 104, 101, 99, 107, 83, 104, 97, 114, 101, 100, 73, 110, 116, 101, 103, 101,
114, 84, 121, 112, 101, 100, 65, 114, 114, 97, 121, 40, 101, 41, 59, 10, 102,
61, 36, 116, 111, 73, 110, 116, 101, 103, 101, 114, 40, 102, 41, 59, 10, 105,
102, 40, 102, 60, 48, 124, 124, 102, 62, 61, 101, 46, 108, 101, 110, 103, 116,
104, 41, 123, 10, 114, 101, 116, 117, 114, 110, 40, 118, 111, 105, 100, 32, 48,
41, 59, 10, 125, 10, 114, 101, 116, 117, 114, 110, 32, 37, 95, 65, 116, 111,
109, 105, 99, 115, 65, 110, 100, 40, 101, 44, 102, 44, 105, 41, 59, 10, 125, 10,
102, 117, 110, 99, 116, 105, 111, 110, 32, 65, 116, 111, 109, 105, 99, 115, 79,
114, 74, 83, 40, 101, 44, 102, 44, 105, 41, 123, 10, 67, 104, 101, 99, 107, 83,
104, 97, 114, 101, 100, 73, 110, 116, 101, 103, 101, 114, 84, 121, 112, 101,
100, 65, 114, 114, 97, 121, 40, 101, 41, 59, 10, 102, 61, 36, 116, 111, 73, 110,
116, 101, 103, 101, 114, 40, 102, 41, 59, 10, 105, 102, 40, 102, 60, 48, 124,
124, 102, 62, 61, 101, 46, 108, 101, 110, 103, 116, 104, 41, 123, 10, 114, 101,
116, 117, 114, 110, 40, 118, 111, 105, 100, 32, 48, 41, 59, 10, 125, 10, 114,
101, 116, 117, 114, 110, 32, 37, 95, 65, 116, 111, 109, 105, 99, 115, 79, 114,
40, 101, 44, 102, 44, 105, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105,
111, 110, 32, 65, 116, 111, 109, 105, 99, 115, 88, 111, 114, 74, 83, 40, 101,
44, 102, 44, 105, 41, 123, 10, 67, 104, 101, 99, 107, 83, 104, 97, 114, 101,
100, 73, 110, 116, 101, 103, 101, 114, 84, 121, 112, 101, 100, 65, 114, 114, 97,
121, 40, 101, 41, 59, 10, 102, 61, 36, 116, 111, 73, 110, 116, 101, 103, 101,
114, 40, 102, 41, 59, 10, 105, 102, 40, 102, 60, 48, 124, 124, 102, 62, 61, 101,
46, 108, 101, 110, 103, 116, 104, 41, 123, 10, 114, 101, 116, 117, 114, 110, 40,
118, 111, 105, 100, 32, 48, 41, 59, 10, 125, 10, 114, 101, 116, 117, 114, 110,
32, 37, 95, 65, 116, 111, 109, 105, 99, 115, 88, 111, 114, 40, 101, 44, 102, 44,
105, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 65, 116,
111, 109, 105, 99, 115, 69, 120, 99, 104, 97, 110, 103, 101, 74, 83, 40, 101,
44, 102, 44, 105, 41, 123, 10, 67, 104, 101, 99, 107, 83, 104, 97, 114, 101,
100, 73, 110, 116, 101, 103, 101, 114, 84, 121, 112, 101, 100, 65, 114, 114, 97,
121, 40, 101, 41, 59, 10, 102, 61, 36, 116, 111, 73, 110, 116, 101, 103, 101,
114, 40, 102, 41, 59, 10, 105, 102, 40, 102, 60, 48, 124, 124, 102, 62, 61, 101,
46, 108, 101, 110, 103, 116, 104, 41, 123, 10, 114, 101, 116, 117, 114, 110, 40,
118, 111, 105, 100, 32, 48, 41, 59, 10, 125, 10, 114, 101, 116, 117, 114, 110,
32, 37, 95, 65, 116, 111, 109, 105, 99, 115, 69, 120, 99, 104, 97, 110, 103,
101, 40, 101, 44, 102, 44, 105, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116,
105, 111, 110, 32, 65, 116, 111, 109, 105, 99, 115, 73, 115, 76, 111, 99, 107,
70, 114, 101, 101, 74, 83, 40, 106, 41, 123, 10, 114, 101, 116, 117, 114, 110,
32, 37, 95, 65, 116, 111, 109, 105, 99, 115, 73, 115, 76, 111, 99, 107, 70, 114,
101, 101, 40, 106, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110,
32, 65, 116, 111, 109, 105, 99, 115, 67, 111, 110, 115, 116, 114, 117, 99, 116,
111, 114, 40, 41, 123, 125, 10, 118, 97, 114, 32, 107, 61, 110, 101, 119, 32,
65, 116, 111, 109, 105, 99, 115, 67, 111, 110, 115, 116, 114, 117, 99, 116, 111,
114, 40, 41, 59, 10, 37, 73, 110, 116, 101, 114, 110, 97, 108, 83, 101, 116, 80,
114, 111, 116, 111, 116, 121, 112, 101, 40, 107, 44, 99, 46, 112, 114, 111, 116,
111, 116, 121, 112, 101, 41, 59, 10, 37, 65, 100, 100, 78, 97, 109, 101, 100,
80, 114, 111, 112, 101, 114, 116, 121, 40, 97, 44, 34, 65, 116, 111, 109, 105,
99, 115, 34, 44, 107, 44, 50, 41, 59, 10, 37, 70, 117, 110, 99, 116, 105, 111,
110, 83, 101, 116, 73, 110, 115, 116, 97, 110, 99, 101, 67, 108, 97, 115, 115,
78, 97, 109, 101, 40, 65, 116, 111, 109, 105, 99, 115, 67, 111, 110, 115, 116,
114, 117, 99, 116, 111, 114, 44, 39, 65, 116, 111, 109, 105, 99, 115, 39, 41,
59, 10, 37, 65, 100, 100, 78, 97, 109, 101, 100, 80, 114, 111, 112, 101, 114,
116, 121, 40, 107, 44, 115, 121, 109, 98, 111, 108, 84, 111, 83, 116, 114, 105,
110, 103, 84, 97, 103, 44, 34, 65, 116, 111, 109, 105, 99, 115, 34, 44, 49, 124,
50, 41, 59, 10, 98, 46, 73, 110, 115, 116, 97, 108, 108, 70, 117, 110, 99, 116,
105, 111, 110, 115, 40, 107, 44, 50, 44, 91, 10, 34, 99, 111, 109, 112, 97, 114,
101, 69, 120, 99, 104, 97, 110, 103, 101, 34, 44, 65, 116, 111, 109, 105, 99,
115, 67, 111, 109, 112, 97, 114, 101, 69, 120, 99, 104, 97, 110, 103, 101, 74,
83, 44, 10, 34, 108, 111, 97, 100, 34, 44, 65, 116, 111, 109, 105, 99, 115, 76,
111, 97, 100, 74, 83, 44, 10, 34, 115, 116, 111, 114, 101, 34, 44, 65, 116, 111,
109, 105, 99, 115, 83, 116, 111, 114, 101, 74, 83, 44, 10, 34, 97, 100, 100, 34,
44, 65, 116, 111, 109, 105, 99, 115, 65, 100, 100, 74, 83, 44, 10, 34, 115, 117,
98, 34, 44, 65, 116, 111, 109, 105, 99, 115, 83, 117, 98, 74, 83, 44, 10, 34,
97, 110, 100, 34, 44, 65, 116, 111, 109, 105, 99, 115, 65, 110, 100, 74, 83, 44,
10, 34, 111, 114, 34, 44, 65, 116, 111, 109, 105, 99, 115, 79, 114, 74, 83, 44,
10, 34, 120, 111, 114, 34, 44, 65, 116, 111, 109, 105, 99, 115, 88, 111, 114,
74, 83, 44, 10, 34, 101, 120, 99, 104, 97, 110, 103, 101, 34, 44, 65, 116, 111,
109, 105, 99, 115, 69, 120, 99, 104, 97, 110, 103, 101, 74, 83, 44, 10, 34, 105,
115, 76, 111, 99, 107, 70, 114, 101, 101, 34, 44, 65, 116, 111, 109, 105, 99,
115, 73, 115, 76, 111, 99, 107, 70, 114, 101, 101, 74, 83, 44, 10, 93, 41, 59,
10, 125, 41, 10, 10, 10, 40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 97, 44,
98, 41, 123, 10, 39, 117, 115, 101, 32, 115, 116, 114, 105, 99, 116, 39, 59, 10,
37, 67, 104, 101, 99, 107, 73, 115, 66, 111, 111, 116, 115, 116, 114, 97, 112,
112, 105, 110, 103, 40, 41, 59, 10, 118, 97, 114, 32, 99, 61, 97, 46, 65, 114,
114, 97, 121, 59, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 65, 114, 114,
97, 121, 73, 110, 99, 108, 117, 100, 101, 115, 40, 100, 44, 101, 41, 123, 10,
118, 97, 114, 32, 102, 61, 36, 116, 111, 79, 98, 106, 101, 99, 116, 40, 116,
104, 105, 115, 41, 59, 10, 118, 97, 114, 32, 103, 61, 36, 116, 111, 76, 101,
110, 103, 116, 104, 40, 102, 46, 108, 101, 110, 103, 116, 104, 41, 59, 10, 105,
102, 40, 103, 61, 61, 61, 48, 41, 123, 10, 114, 101, 116, 117, 114, 110, 32,
102, 97, 108, 115, 101, 59, 10, 125, 10, 118, 97, 114, 32, 104, 61, 36, 116,
111, 73, 110, 116, 101, 103, 101, 114, 40, 101, 41, 59, 10, 118, 97, 114, 32,
105, 59, 10, 105, 102, 40, 104, 62, 61, 48, 41, 123, 10, 105, 61, 104, 59, 10,
125, 101, 108, 115, 101, 123, 10, 105, 61, 103, 43, 104, 59, 10, 105, 102, 40,
105, 60, 48, 41, 123, 10, 105, 61, 48, 59, 10, 125, 10, 125, 10, 119, 104, 105,
108, 101, 40, 105, 60, 103, 41, 123, 10, 118, 97, 114, 32, 106, 61, 102, 91,
105, 93, 59, 10, 105, 102, 40, 36, 115, 97, 109, 101, 86, 97, 108, 117, 101, 90,
101, 114, 111, 40, 100, 44, 106, 41, 41, 123, 10, 114, 101, 116, 117, 114, 110,
32, 116, 114, 117, 101, 59, 10, 125, 10, 43, 43, 105, 59, 10, 125, 10, 114, 101,
116, 117, 114, 110, 32, 102, 97, 108, 115, 101, 59, 10, 125, 10, 37, 70, 117,
110, 99, 116, 105, 111, 110, 83, 101, 116, 76, 101, 110, 103, 116, 104, 40, 65,
114, 114, 97, 121, 73, 110, 99, 108, 117, 100, 101, 115, 44, 49, 41, 59, 10, 98,
46, 73, 110, 115, 116, 97, 108, 108, 70, 117, 110, 99, 116, 105, 111, 110, 115,
40, 99, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 44, 50, 44, 91, 10, 34,
105, 110, 99, 108, 117, 100, 101, 115, 34, 44, 65, 114, 114, 97, 121, 73, 110,
99, 108, 117, 100, 101, 115, 10, 93, 41, 59, 10, 125, 41, 10, 10, 10, 40, 102,
117, 110, 99, 116, 105, 111, 110, 40, 97, 44, 98, 41, 123, 10, 39, 117, 115,
101, 32, 115, 116, 114, 105, 99, 116, 39, 59, 10, 37, 67, 104, 101, 99, 107, 73,
115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110, 103, 40, 41, 59,
10, 98, 46, 73, 110, 115, 116, 97, 108, 108, 67, 111, 110, 115, 116, 97, 110,
116, 115, 40, 97, 46, 83, 121, 109, 98, 111, 108, 44, 91, 10, 34, 105, 115, 67,
111, 110, 99, 97, 116, 83, 112, 114, 101, 97, 100, 97, 98, 108, 101, 34, 44,
115, 121, 109, 98, 111, 108, 73, 115, 67, 111, 110, 99, 97, 116, 83, 112, 114,
101, 97, 100, 97, 98, 108, 101, 10, 93, 41, 59, 10, 125, 41, 10, 10, 10, 40,
102, 117, 110, 99, 116, 105, 111, 110, 40, 97, 44, 98, 41, 123, 10, 34, 117,
115, 101, 32, 115, 116, 114, 105, 99, 116, 34, 59, 10, 37, 67, 104, 101, 99,
107, 73, 115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110, 103, 40,
41, 59, 10, 118, 97, 114, 32, 99, 61, 97, 46, 83, 121, 109, 98, 111, 108, 59,
10, 98, 46, 73, 110, 115, 116, 97, 108, 108, 67, 111, 110, 115, 116, 97, 110,
116, 115, 40, 99, 44, 91, 10, 34, 116, 111, 83, 116, 114, 105, 110, 103, 84, 97,
103, 34, 44, 115, 121, 109, 98, 111, 108, 84, 111, 83, 116, 114, 105, 110, 103,
84, 97, 103, 10, 93, 41, 59, 10, 125, 41, 10, 10, 10, 40, 102, 117, 110, 99,
116, 105, 111, 110, 40, 97, 44, 98, 41, 123, 10, 39, 117, 115, 101, 32, 115,
116, 114, 105, 99, 116, 39, 59, 10, 37, 67, 104, 101, 99, 107, 73, 115, 66, 111,
111, 116, 115, 116, 114, 97, 112, 112, 105, 110, 103, 40, 41, 59, 10, 118, 97,
114, 32, 99, 61, 97, 46, 82, 101, 103, 69, 120, 112, 59, 10, 102, 117, 110, 99,
116, 105, 111, 110, 32, 82, 101, 103, 69, 120, 112, 71, 101, 116, 70, 108, 97,
103, 115, 40, 41, 123, 10, 105, 102, 40, 33, 40, 37, 95, 73, 115, 83, 112, 101,
99, 79, 98, 106, 101, 99, 116, 40, 116, 104, 105, 115, 41, 41, 41, 123, 10, 116,
104, 114, 111, 119, 32, 77, 97, 107, 101, 84, 121, 112, 101, 69, 114, 114, 111,
114, 40, 50, 57, 44, 36, 116, 111, 83, 116, 114, 105, 110, 103, 40, 116, 104,
105, 115, 41, 41, 59, 10, 125, 10, 118, 97, 114, 32, 100, 61, 39, 39, 59, 10,
105, 102, 40, 116, 104, 105, 115, 46, 103, 108, 111, 98, 97, 108, 41, 100, 43,
61, 39, 103, 39, 59, 10, 105, 102, 40, 116, 104, 105, 115, 46, 105, 103, 110,
111, 114, 101, 67, 97, 115, 101, 41, 100, 43, 61, 39, 105, 39, 59, 10, 105, 102,
40, 116, 104, 105, 115, 46, 109, 117, 108, 116, 105, 108, 105, 110, 101, 41,
100, 43, 61, 39, 109, 39, 59, 10, 105, 102, 40, 116, 104, 105, 115, 46, 117,
110, 105, 99, 111, 100, 101, 41, 100, 43, 61, 39, 117, 39, 59, 10, 105, 102, 40,
116, 104, 105, 115, 46, 115, 116, 105, 99, 107, 121, 41, 100, 43, 61, 39, 121,
39, 59, 10, 114, 101, 116, 117, 114, 110, 32, 100, 59, 10, 125, 10, 37, 68, 101,
102, 105, 110, 101, 65, 99, 99, 101, 115, 115, 111, 114, 80, 114, 111, 112, 101,
114, 116, 121, 85, 110, 99, 104, 101, 99, 107, 101, 100, 40, 99, 46, 112, 114,
111, 116, 111, 116, 121, 112, 101, 44, 39, 102, 108, 97, 103, 115, 39, 44, 10,
82, 101, 103, 69, 120, 112, 71, 101, 116, 70, 108, 97, 103, 115, 44, 110, 117,
108, 108, 44, 50, 41, 59, 10, 37, 83, 101, 116, 78, 97, 116, 105, 118, 101, 70,
108, 97, 103, 40, 82, 101, 103, 69, 120, 112, 71, 101, 116, 70, 108, 97, 103,
115, 41, 59, 10, 125, 41, 10, 10, 10, 40, 102, 117, 110, 99, 116, 105, 111, 110,
40, 97, 44, 98, 41, 123, 10, 39, 117, 115, 101, 32, 115, 116, 114, 105, 99, 116,
39, 59, 10, 37, 67, 104, 101, 99, 107, 73, 115, 66, 111, 111, 116, 115, 116,
114, 97, 112, 112, 105, 110, 103, 40, 41, 59, 10, 118, 97, 114, 32, 99, 61, 97,
46, 82, 101, 102, 108, 101, 99, 116, 59, 10, 98, 46, 73, 110, 115, 116, 97, 108,
108, 70, 117, 110, 99, 116, 105, 111, 110, 115, 40, 99, 44, 50, 44, 91, 10, 34,
97, 112, 112, 108, 121, 34, 44, 36, 114, 101, 102, 108, 101, 99, 116, 65, 112,
112, 108, 121, 44, 10, 34, 99, 111, 110, 115, 116, 114, 117, 99, 116, 34, 44,
36, 114, 101, 102, 108, 101, 99, 116, 67, 111, 110, 115, 116, 114, 117, 99, 116,
10, 93, 41, 59, 10, 125, 41, 10, 10, 10, 118, 97, 114, 32, 36, 115, 112, 114,
101, 97, 100, 65, 114, 103, 117, 109, 101, 110, 116, 115, 59, 10, 118, 97, 114,
32, 36, 115, 112, 114, 101, 97, 100, 73, 116, 101, 114, 97, 98, 108, 101, 59,
10, 40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 97, 44, 98, 41, 123, 10, 39,
117, 115, 101, 32, 115, 116, 114, 105, 99, 116, 39, 59, 10, 118, 97, 114, 32,
99, 61, 98, 46, 73, 110, 116, 101, 114, 110, 97, 108, 65, 114, 114, 97, 121, 59,
10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 83, 112, 114, 101, 97, 100, 65,
114, 103, 117, 109, 101, 110, 116, 115, 40, 41, 123, 10, 118, 97, 114, 32, 100,
61, 37, 95, 65, 114, 103, 117, 109, 101, 110, 116, 115, 76, 101, 110, 103, 116,
104, 40, 41, 59, 10, 118, 97, 114, 32, 101, 61, 110, 101, 119, 32, 99, 40, 41,
59, 10, 102, 111, 114, 40, 118, 97, 114, 32, 102, 61, 48, 59, 102, 60, 100, 59,
43, 43, 102, 41, 123, 10, 118, 97, 114, 32, 103, 61, 37, 95, 65, 114, 103, 117,
109, 101, 110, 116, 115, 40, 102, 41, 59, 10, 118, 97, 114, 32, 104, 61, 103,
46, 108, 101, 110, 103, 116, 104, 59, 10, 102, 111, 114, 40, 118, 97, 114, 32,
105, 61, 48, 59, 105, 60, 104, 59, 43, 43, 105, 41, 123, 10, 101, 46, 112, 117,
115, 104, 40, 103, 91, 105, 93, 41, 59, 10, 125, 10, 125, 10, 114, 101, 116,
117, 114, 110, 32, 101, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110,
32, 83, 112, 114, 101, 97, 100, 73, 116, 101, 114, 97, 98, 108, 101, 40, 106,
41, 123, 10, 105, 102, 40, 40, 106, 61, 61, 110, 117, 108, 108, 41, 41, 123, 10,
116, 104, 114, 111, 119, 32, 77, 97, 107, 101, 84, 121, 112, 101, 69, 114, 114,
111, 114, 40, 53, 54, 44, 106, 41, 59, 10, 125, 10, 118, 97, 114, 32, 101, 61,
110, 101, 119, 32, 99, 40, 41, 59, 10, 102, 111, 114, 40, 118, 97, 114, 32, 107,
32, 111, 102, 32, 106, 41, 123, 10, 101, 46, 112, 117, 115, 104, 40, 107, 41,
59, 10, 125, 10, 114, 101, 116, 117, 114, 110, 32, 101, 59, 10, 125, 10, 36,
115, 112, 114, 101, 97, 100, 65, 114, 103, 117, 109, 101, 110, 116, 115, 61, 83,
112, 114, 101, 97, 100, 65, 114, 103, 117, 109, 101, 110, 116, 115, 59, 10, 36,
115, 112, 114, 101, 97, 100, 73, 116, 101, 114, 97, 98, 108, 101, 61, 83, 112,
114, 101, 97, 100, 73, 116, 101, 114, 97, 98, 108, 101, 59, 10, 125, 41, 10, 10,
10, 40, 102, 117, 110, 99, 116, 105, 111, 110, 40, 97, 44, 98, 41, 123, 10, 34,
117, 115, 101, 32, 115, 116, 114, 105, 99, 116, 34, 59, 10, 37, 67, 104, 101,
99, 107, 73, 115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110, 103,
40, 41, 59, 10, 118, 97, 114, 32, 99, 61, 97, 46, 79, 98, 106, 101, 99, 116, 59,
10, 118, 97, 114, 32, 100, 59, 10, 98, 46, 73, 109, 112, 111, 114, 116, 40, 102,
117, 110, 99, 116, 105, 111, 110, 40, 101, 41, 123, 10, 100, 61, 101, 46, 79,
119, 110, 80, 114, 111, 112, 101, 114, 116, 121, 75, 101, 121, 115, 59, 10, 125,
41, 59, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 79, 98, 106, 101, 99,
116, 65, 115, 115, 105, 103, 110, 40, 102, 44, 103, 41, 123, 10, 118, 97, 114,
32, 104, 61, 40, 40, 37, 95, 73, 115, 83, 112, 101, 99, 79, 98, 106, 101, 99,
116, 40, 37, 73, 83, 95, 86, 65, 82, 40, 102, 41, 41, 41, 63, 102, 58, 36, 116,
111, 79, 98, 106, 101, 99, 116, 40, 102, 41, 41, 59, 10, 118, 97, 114, 32, 105,
61, 37, 95, 65, 114, 103, 117, 109, 101, 110, 116, 115, 76, 101, 110, 103, 116,
104, 40, 41, 59, 10, 105, 102, 40, 105, 60, 50, 41, 114, 101, 116, 117, 114,
110, 32, 104, 59, 10, 102, 111, 114, 40, 118, 97, 114, 32, 106, 61, 49, 59, 106,
60, 105, 59, 43, 43, 106, 41, 123, 10, 118, 97, 114, 32, 107, 61, 37, 95, 65,
114, 103, 117, 109, 101, 110, 116, 115, 40, 106, 41, 59, 10, 105, 102, 40, 40,
107, 61, 61, 110, 117, 108, 108, 41, 41, 123, 10, 99, 111, 110, 116, 105, 110,
117, 101, 59, 10, 125, 10, 118, 97, 114, 32, 101, 61, 40, 40, 37, 95, 73, 115,
83, 112, 101, 99, 79, 98, 106, 101, 99, 116, 40, 37, 73, 83, 95, 86, 65, 82, 40,
107, 41, 41, 41, 63, 107, 58, 36, 116, 111, 79, 98, 106, 101, 99, 116, 40, 107,
41, 41, 59, 10, 118, 97, 114, 32, 108, 61, 100, 40, 101, 41, 59, 10, 118, 97,
114, 32, 109, 61, 108, 46, 108, 101, 110, 103, 116, 104, 59, 10, 102, 111, 114,
40, 118, 97, 114, 32, 110, 61, 48, 59, 110, 60, 109, 59, 43, 43, 110, 41, 123,
10, 118, 97, 114, 32, 111, 61, 108, 91, 110, 93, 59, 10, 105, 102, 40, 37, 73,
115, 80, 114, 111, 112, 101, 114, 116, 121, 69, 110, 117, 109, 101, 114, 97, 98,
108, 101, 40, 101, 44, 111, 41, 41, 123, 10, 118, 97, 114, 32, 112, 61, 101, 91,
111, 93, 59, 10, 104, 91, 111, 93, 61, 112, 59, 10, 125, 10, 125, 10, 125, 10,
114, 101, 116, 117, 114, 110, 32, 104, 59, 10, 125, 10, 98, 46, 73, 110, 115,
116, 97, 108, 108, 70, 117, 110, 99, 116, 105, 111, 110, 115, 40, 99, 44, 50,
44, 91, 10, 34, 97, 115, 115, 105, 103, 110, 34, 44, 79, 98, 106, 101, 99, 116,
65, 115, 115, 105, 103, 110, 10, 93, 41, 59, 10, 125, 41, 10, 10, 10, 40, 102,
117, 110, 99, 116, 105, 111, 110, 40, 97, 44, 98, 41, 123, 10, 34, 117, 115,
101, 32, 115, 116, 114, 105, 99, 116, 34, 59, 10, 37, 67, 104, 101, 99, 107, 73,
115, 66, 111, 111, 116, 115, 116, 114, 97, 112, 112, 105, 110, 103, 40, 41, 59,
10, 118, 97, 114, 32, 99, 61, 97, 46, 83, 104, 97, 114, 101, 100, 65, 114, 114,
97, 121, 66, 117, 102, 102, 101, 114, 59, 10, 118, 97, 114, 32, 100, 61, 97, 46,
79, 98, 106, 101, 99, 116, 59, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32,
83, 104, 97, 114, 101, 100, 65, 114, 114, 97, 121, 66, 117, 102, 102, 101, 114,
67, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 40, 101, 41, 123, 10, 105,
102, 40, 37, 95, 73, 115, 67, 111, 110, 115, 116, 114, 117, 99, 116, 67, 97,
108, 108, 40, 41, 41, 123, 10, 118, 97, 114, 32, 102, 61, 36, 116, 111, 80, 111,
115, 105, 116, 105, 118, 101, 73, 110, 116, 101, 103, 101, 114, 40, 101, 44, 49,
50, 52, 41, 59, 10, 37, 65, 114, 114, 97, 121, 66, 117, 102, 102, 101, 114, 73,
110, 105, 116, 105, 97, 108, 105, 122, 101, 40, 116, 104, 105, 115, 44, 102, 44,
116, 114, 117, 101, 41, 59, 10, 125, 101, 108, 115, 101, 123, 10, 116, 104, 114,
111, 119, 32, 77, 97, 107, 101, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40,
50, 48, 44, 34, 83, 104, 97, 114, 101, 100, 65, 114, 114, 97, 121, 66, 117, 102,
102, 101, 114, 34, 41, 59, 10, 125, 10, 125, 10, 102, 117, 110, 99, 116, 105,
111, 110, 32, 83, 104, 97, 114, 101, 100, 65, 114, 114, 97, 121, 66, 117, 102,
102, 101, 114, 71, 101, 116, 66, 121, 116, 101, 76, 101, 110, 40, 41, 123, 10,
105, 102, 40, 33, 40, 37, 95, 67, 108, 97, 115, 115, 79, 102, 40, 116, 104, 105,
115, 41, 61, 61, 61, 39, 83, 104, 97, 114, 101, 100, 65, 114, 114, 97, 121, 66,
117, 102, 102, 101, 114, 39, 41, 41, 123, 10, 116, 104, 114, 111, 119, 32, 77,
97, 107, 101, 84, 121, 112, 101, 69, 114, 114, 111, 114, 40, 51, 51, 44, 10, 39,
83, 104, 97, 114, 101, 100, 65, 114, 114, 97, 121, 66, 117, 102, 102, 101, 114,
46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 46, 98, 121, 116, 101, 76, 101,
110, 103, 116, 104, 39, 44, 116, 104, 105, 115, 41, 59, 10, 125, 10, 114, 101,
116, 117, 114, 110, 32, 37, 95, 65, 114, 114, 97, 121, 66, 117, 102, 102, 101,
114, 71, 101, 116, 66, 121, 116, 101, 76, 101, 110, 103, 116, 104, 40, 116, 104,
105, 115, 41, 59, 10, 125, 10, 102, 117, 110, 99, 116, 105, 111, 110, 32, 83,
104, 97, 114, 101, 100, 65, 114, 114, 97, 121, 66, 117, 102, 102, 101, 114, 73,
115, 86, 105, 101, 119, 74, 83, 40, 103, 41, 123, 10, 114, 101, 116, 117, 114,
110, 32, 37, 65, 114, 114, 97, 121, 66, 117, 102, 102, 101, 114, 73, 115, 86,
105, 101, 119, 40, 103, 41, 59, 10, 125, 10, 37, 83, 101, 116, 67, 111, 100,
101, 40, 99, 44, 83, 104, 97, 114, 101, 100, 65, 114, 114, 97, 121, 66, 117,
102, 102, 101, 114, 67, 111, 110, 115, 116, 114, 117, 99, 116, 111, 114, 41, 59,
10, 37, 70, 117, 110, 99, 116, 105, 111, 110, 83, 101, 116, 80, 114, 111, 116,
111, 116, 121, 112, 101, 40, 99, 44, 110, 101, 119, 32, 100, 40, 41, 41, 59, 10,
37, 65, 100, 100, 78, 97, 109, 101, 100, 80, 114, 111, 112, 101, 114, 116, 121,
40, 99, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 44, 34, 99, 111, 110,
115, 116, 114, 117, 99, 116, 111, 114, 34, 44, 10, 99, 44, 50, 41, 59, 10, 37,
65, 100, 100, 78, 97, 109, 101, 100, 80, 114, 111, 112, 101, 114, 116, 121, 40,
99, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 44, 10, 115, 121, 109, 98,
111, 108, 84, 111, 83, 116, 114, 105, 110, 103, 84, 97, 103, 44, 34, 83, 104,
97, 114, 101, 100, 65, 114, 114, 97, 121, 66, 117, 102, 102, 101, 114, 34, 44,
50, 124, 49, 41, 59, 10, 98, 46, 73, 110, 115, 116, 97, 108, 108, 71, 101, 116,
116, 101, 114, 40, 99, 46, 112, 114, 111, 116, 111, 116, 121, 112, 101, 44, 34,
98, 121, 116, 101, 76, 101, 110, 103, 116, 104, 34, 44, 10, 83, 104, 97, 114,
101, 100, 65, 114, 114, 97, 121, 66, 117, 102, 102, 101, 114, 71, 101, 116, 66,
121, 116, 101, 76, 101, 110, 41, 59, 10, 98, 46, 73, 110, 115, 116, 97, 108,
108, 70, 117, 110, 99, 116, 105, 111, 110, 115, 40, 99, 44, 50, 44, 91, 10, 34,
105, 115, 86, 105, 101, 119, 34, 44, 83, 104, 97, 114, 101, 100, 65, 114, 114,
97, 121, 66, 117, 102, 102, 101, 114, 73, 115, 86, 105, 101, 119, 74, 83, 10,
93, 41, 59, 10, 125, 41, 10, 10 };

  template <>
  int NativesCollection<EXPERIMENTAL>::GetBuiltinsCount() {
    return 11;
  }

  template <>
  int NativesCollection<EXPERIMENTAL>::GetDebuggerCount() {
    return 0;
  }

  template <>
  int NativesCollection<EXPERIMENTAL>::GetIndex(const char* name) {
    if (strcmp(name, "proxy") == 0) return 0;
    if (strcmp(name, "generator") == 0) return 1;
    if (strcmp(name, "harmony-atomics") == 0) return 2;
    if (strcmp(name, "harmony-array-includes") == 0) return 3;
    if (strcmp(name, "harmony-concat-spreadable") == 0) return 4;
    if (strcmp(name, "harmony-tostring") == 0) return 5;
    if (strcmp(name, "harmony-regexp") == 0) return 6;
    if (strcmp(name, "harmony-reflect") == 0) return 7;
    if (strcmp(name, "harmony-spread") == 0) return 8;
    if (strcmp(name, "harmony-object") == 0) return 9;
    if (strcmp(name, "harmony-sharedarraybuffer") == 0) return 10;
    return -1;
  }

  template <>
  Vector<const char> NativesCollection<EXPERIMENTAL>::GetScriptSource(int index) {
    if (index == 0) return Vector<const char>(sources + 0, 3466);
    if (index == 1) return Vector<const char>(sources + 3466, 1784);
    if (index == 2) return Vector<const char>(sources + 5250, 2249);
    if (index == 3) return Vector<const char>(sources + 7499, 444);
    if (index == 4) return Vector<const char>(sources + 7943, 140);
    if (index == 5) return Vector<const char>(sources + 8083, 135);
    if (index == 6) return Vector<const char>(sources + 8218, 430);
    if (index == 7) return Vector<const char>(sources + 8648, 159);
    if (index == 8) return Vector<const char>(sources + 8807, 478);
    if (index == 9) return Vector<const char>(sources + 9285, 562);
    if (index == 10) return Vector<const char>(sources + 9847, 908);
    return Vector<const char>("", 0);
  }

  template <>
  Vector<const char> NativesCollection<EXPERIMENTAL>::GetScriptName(int index) {
    if (index == 0) return Vector<const char>("native proxy.js", 15);
    if (index == 1) return Vector<const char>("native generator.js", 19);
    if (index == 2) return Vector<const char>("native harmony-atomics.js", 25);
    if (index == 3) return Vector<const char>("native harmony-array-includes.js", 32);
    if (index == 4) return Vector<const char>("native harmony-concat-spreadable.js", 35);
    if (index == 5) return Vector<const char>("native harmony-tostring.js", 26);
    if (index == 6) return Vector<const char>("native harmony-regexp.js", 24);
    if (index == 7) return Vector<const char>("native harmony-reflect.js", 25);
    if (index == 8) return Vector<const char>("native harmony-spread.js", 24);
    if (index == 9) return Vector<const char>("native harmony-object.js", 24);
    if (index == 10) return Vector<const char>("native harmony-sharedarraybuffer.js", 35);
    return Vector<const char>("", 0);
  }

  template <>
  Vector<const char> NativesCollection<EXPERIMENTAL>::GetScriptsSource() {
    return Vector<const char>(sources, 10755);
  }
}  // internal
}  // v8
